Linear logic - PDFSEARCH.IO - Document Search Engine

Linear logic
Results: 927

#	Item
851	Microsoft PowerPoint - ece5440_LFSR_Counters.ppt [Compatibility Mode] Add to Reading List Source URL: www0.egr.uh.edu Language: English - Date: 2010-03-16 18:57:23 Pseudorandom number generators Electronics Boolean algebra Propositional calculus Binary arithmetic Linear feedback shift register Counter Flip-flop Logical equality Logic gates Electronic engineering Mathematics
852	Universality for mathematical and physical systems Percy Deift∗ Add to Reading List Source URL: www.mathunion.org Language: English - Date: 2012-04-18 10:58:45 Mathematical physics Spectral theory Lambda calculus Combinatory logic Logic in computer science Eigenvalues and eigenvectors Random matrix Weight Spectrum Algebra Mathematics Linear algebra
853	ON THE DECOMPOSITION THEOREMS OF ALGEBRA By 0YSTEIN ORE, Yale University. Add to Reading List Source URL: www.mathunion.org Language: English - Date: 2012-04-18 10:20:06 Mathematics Field Abelian group Emmy Noether Mathematical logic Group Ring Boolean algebra Linear algebra Abstract algebra Algebra Algebraic structures
854	Temporal logic in system analysis (4) CTL logic Add to Reading List Source URL: staff.iiar.pwr.wroc.pl Language: English - Date: 2013-04-14 12:56:28 Computation tree logic Linear temporal logic Logic Science Mathematical logic CTL* Temporal logic Logic in computer science Mathematics
855	Temporal Logics • CTL: definition, relationship between operators, adequate sets, specifying Add to Reading List Source URL: www.cs.toronto.edu Language: English - Date: 2007-09-26 19:39:59 Mathematics CTL* Applied mathematics Sheaf Logic Linear temporal logic Temporal logic Logic in computer science Computation tree logic
856	Chapter 15 OF Add to Reading List Source URL: www1.univ-ag.fr Language: English - Date: 2012-06-20 18:18:19 Kullback–Leibler divergence Divergence Linear temporal logic Mathematical logic Geometry Statistics Bregman divergence
857	Synthesis of Reactive(1) Designs Nir Piterman1 , Amir Pnueli2 , and Yaniv Sa’ar3 1 Add to Reading List Source URL: laser.inf.ethz.ch Language: English - Date: 2009-11-27 06:03:53 Interpretation Model theory Metaphilosophy Philosophy Logic Linear temporal logic Temporal logic
858	Under consideration for publication in Math. Struct. in Comp. Science The limit-colimit coincidence theorem for Add to Reading List Source URL: tcs.uj.edu.pl Language: English - Date: 2009-10-26 10:50:27 Functor Adjoint functors Uniform space Function Yoneda lemma Continuous function Natural transformation Initial and terminal objects Linear temporal logic Mathematics Mathematical analysis Limit
859	Estienne de la Roche’s appropriation of Chuquet[removed]Albrecht HEEFFER Center for Logic and Philosophy of Science Add to Reading List Source URL: logica.ugent.be Language: English - Date: 2008-09-08 08:18:19 Numeral systems Equations François Viète La Roche Polynomial Number Exponentiation System of linear equations Nicolas Chuquet Mathematics Algebra Estienne de La Roche
860	Linear Algebra Notes David A. SANTOS [removed] Add to Reading List Source URL: scipp.ucsc.edu Language: English - Date: 2009-12-19 20:31:04 Mathematical logic Elementary mathematics Equivalence relation Total order Binary relation Finitary relation Partially ordered set Kernel Function Mathematics Algebra Order theory

UPDATE